Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
601	Sophia: An Information Plane for Networked Systems Mike Wawrzoniak and Larry Peterson Princeton University Abstract This paper motivates and describes an example network Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2014-09-30 10:30:55 Automated theorem proving Programming paradigms Actor model PlanetLab Software testing Prolog Eval Logic programming Futures and promises Computing Software engineering Computer programming
602	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
603	The foundational legacy of ASL Donald Sannella1 and Andrzej Tarlecki2 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-17 11:50:58 Mathematical logic Measure theory Structure Universal algebra Sigma-algebra Elementary class Dual Parity of a permutation Mathematics Model theory Abstract algebra
604	LusSy: an open Tool for the Analysis of Systems-on-aChip at the Transaction Level Matthieu Moy∗ , Florence Maraninchi* , Laurent Maillet-Contoz† Abstract. We describe a toolbox for the analysis of Systems-on-a-chip w Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-12-17 11:12:12 Electronic design automation SystemC Logic design Transaction-level modeling High-level synthesis VHDL Advanced Learning and Research Institute Verilog Catapult C Electronic engineering Hardware description languages Digital electronics
605	What’s in a quantifier? Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek OTS Abstract In this article, I discuss several inquiries into the meaning of expressions of quantity. It is to some extent received wisdom tha Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 05:10:47 Semantics Quantification Grammar Ontology Polarity item Proposition Model theory Determiner Quantity Logic Linguistics Science
606	Thinking and Language Abstract: The following theses about the relationship between language and thought can be found in both linguistical studies and analytical philosophy. The common view of modern philosophy tends to Add to Reading List Source URL: www.hyponoesis.org Language: English - Date: 2014-12-15 16:09:58 Thought Epistemology Belief Philosophical logic Theories of truth Reason Truth Idea Logic Philosophy Mind Cognition
607	1 The EXTREM COMPILING Pattern Language The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines J.García-Martín M.Sutil-Martín Universidad Politécnica de Madrid Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:19:10 Compiler construction Programming language implementation Cross-platform software Logic programming Warren Abstract Machine Prolog Java virtual machine Compiler Intermediate language Computing Software Virtual machines
608	A Generic Framework for the Analysis and Specialization of Logic Programs? Germ´an Puebla1 , Elvira Albert2 , and Manuel Hermenegildo1,3 1 3 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:06:12 Abstract interpretation Mathematical logic Algorithm Partial evaluation Programming language Principles of Programming Languages Logic programming Logic Scientific modelling Science Software engineering Computing
609	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
610	Learning Outcomes • At the end of this lecture you should: understand how logic relates to computing problems Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-09-05 06:45:45 Boolean algebra Logic gates Propositional calculus Logical connectives Algebraic logic XOR gate Exclusive or Truth table OR gate Mathematics Mathematical logic Abstract algebra

UPDATE